(declare-fun a () Int)
(declare-fun b () Int)
(declare-fun c () Int)
(declare-fun d () Int)
(declare-fun e () Int)
(declare-fun f () Int)
(declare-fun g () Int)
(declare-fun h () Int)
(declare-fun i () Int)
(declare-fun j () Int)
(declare-fun k () Int)
(declare-fun l () Int)
(declare-fun m () Int)
(declare-fun n () Int)
(assert (<= 10 a))
(assert (> b 0))
(assert (<= 0 d 1))
(assert (>= l g h 0 m))
(assert (= (- 0 h i) (* c k) (+ i (* a j) k (- a)) (+ l (* b j) k (- b)) (+ j (* e k)) (* k n) 0))
(assert (or (= (+ b (* d e)) 0) (>= 0 (mod 1 f))))
(check-sat)
